Evciler Plütonu’nun (KB Türkiye) Petrolojisi

Kb , Kd , and

Gerçek Zamanlı Gömülü Yazılımlar için Test Otomasyonu: Türkiye Endüstrisinden Bir Yaklaşım ve Deneyim Raporu

Öz. Gömülü sistemler,

Gömülü Sistem Mühendisliğinde Kullanılan Yazılım Modellemesi ve Model Güdümlü Teknikler Anketi: Türkiye Sonuçları

Özet. Gömülü sistemler gün geçtikçe hayatımızın vazgeçilmez bir parçası haline gelmektedir. Bu sistemlerin performans ve kalite kriterleri diğer yazılım sistemlerinden farklı olduğundan, donanım ve yazılım alt parçalarının birlikte tasarlanmasını, geliştirilmesini ve sınanmasını gerektirir. Bu zorlukla artan karmaşıklığın daha iyi yönetilebilmesi için sıkça kullanılan bir yöntem, yüksek seviyed...

Algorithms for Propositional KB Approximation

One of the obstacles to the effective compilation of propositional knowledge bases (KBs) using Horn approximations, as introduced by (Selman & Kautz 1991), is the lack of computationally feasible methods for generating Horn bounds. In this paper new algorithms for generating Horn Greatest Lower Bounds (GLB) that can apply to large size KBs, are presented. The approach is extended through a more...

NF-kB, Autoimmunity and Mycobacteria

Many autoimmune diseases feature functional or genetic defects that can alter NF-kB function. In an animal model of type 1 diabetes and Sjogren’s syndrome, a defective proteasome prevents NK-kB-induced gene transcription by precluding cleavage of IkBa from NF-kB in the cytoplasm. Polymorphisms in such NK-kB related genes as SUMO4, NOD2, IKBL, IRF-5, TNFAIP3, TNF, TNFR1, TNFR2, IL-10 and DLG-5 h...